Auflistung nach Schlagwort "Programmable logic controllers"

Auflistung nach Schlagwort "Programmable logic controllers"

Sortiert nach: Sortierung: Ergebnisse:

  • Axiomatizations for propositional and modal team logic 
    Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016)
    A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic ...
  • FPGA based laser frequency stabilization using FM spectroscopy 
    Spindeldreier, Christian; Bartosch, Wolfgang; Wendrich, Thijs; Rasel, Ernst Maria; Ertmer, Wolfgang; Blume, Holger (Bellingham, Wash. : SPIE, 2018)
    Frequency stabilized light sources with narrow linewidth are mandatory for atom interferometry based experiments. For compact experiment designs used on space platforms, tunable DFB diode lasers are often used. These lasers ...